DeMillo, Richard A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

NSF workshop on a software research program for the 21 st century

Basili, Victor R., Lawrie, Duncan, Leveson, Nancy, Lynch, Nancy, Weiser, Mark, Wing, Jeannette, Belady, Laszlo, Boehm, Barry, Brooks, Frederick, Browne, James, DeMillo, Richard, Feldman, Stuart I., Gr

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.23 MB

english, 1999

2

Studies in Computer Science || Polynomial Interpolation in Several Variables

Rice, John, DeMillo, Richard A.

Year:

1994

Language:

english

File:

PDF, 1.68 MB

english, 1994

3

Editors' foreword

Richard Demillo, Ronald Rivest, E.K. Blum

Journal:

Journal of Computer and System Sciences

Year:

1983

File:

PDF, 29 KB

1983

4

Editors' foreword

Richard A. DeMillo, Edward K. Blum

Journal:

Journal of Computer and System Sciences

Year:

1986

Language:

english

File:

PDF, 36 KB

english, 1986

5

A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings

Richard A. DeMillo, Richard J. Lipton

Journal:

Theory of Computing Systems

Year:

1979-1980

Language:

english

File:

PDF, 441 KB

english, 1979-1980

6

On the Importance of Eliminating Errors in Cryptographic Computations

Dan Boneh, Richard A. DeMillo, Richard J. Lipton

Journal:

Journal of Cryptology

Year:

2001

Language:

english

File:

PDF, 117 KB

english, 2001

7

Debugging with dynamic slicing and backtracking

Hiralal Agrawal, Richard A. Demillo, Eugene H. Spafford

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.85 MB

english, 1993

8

A probabilistic remark on algebraic program testing

Richard A. Demillo, Richard J. Lipton

Journal:

Information Processing Letters

Year:

1978

Language:

english

File:

PDF, 308 KB

english, 1978

9

Experimental results from an automatic test case generator

DeMillo, Richard A., Offutt, A. Jefferson

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1993

Language:

english

File:

PDF, 1.33 MB

english, 1993

10

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Critical slicing for software fault localization

DeMillo, Richard A., Pan, Hsin, Spafford, Eugene H.

Year:

1996

Language:

english

File:

PDF, 1.26 MB

english, 1996

11

[ACM Press the twelfth annual ACM symposium - Los Angeles, California, United States (1980.04.28-1980.04.30)] Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 - The consistency of ?P = NP? and related problems with fragments of number theory

DeMillo, Richard A., Lipton, Richard J.

Year:

1980

Language:

english

File:

PDF, 867 KB

english, 1980

12

Preserving average proximity in arrays

DeMillo, Richard A., Eisenstat, Stanley C., Lipton, Richard J.

Journal:

Communications of the ACM

Year:

1978

Language:

english

File:

PDF, 1.95 MB

english, 1978

13

Keeping technology promises

DeMillo, Richard A.

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 1.26 MB

english, 2012

14

Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem

DeMillo, Richard A., Eisenstat, Stanley C., Lipton, Richard J.

Journal:

Journal of the ACM

Year:

1980

Language:

english

File:

PDF, 251 KB

english, 1980

15

Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis

DeMillo, Richard A., Lipton, Richard J., Perlis, Alan J.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1978

Language:

english

File:

PDF, 175 KB

english, 1978

16

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Software development for next generation communication networks

DeMillo, Richard A.

Year:

2000

Language:

english

File:

PDF, 45 KB

english, 2000

17

Guest Editor's Introduction

DeMillo, Richard A.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1983

Language:

english

File:

PDF, 73 KB

english, 1983

18

[ACM Press the fourteenth annual ACM symposium - San Francisco, California, United States (1982.05.05-1982.05.07)] Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 - Cryptographic protocols

DeMillo, Richard A., Lynch, Nancy A., Merritt, Michael J.

Year:

1982

Language:

english

File:

PDF, 1.27 MB

english, 1982

19

[ACM Press the eleventh annual ACM symposium - Atlanta, Georgia, United States (1979.04.30-1979.05.02)] Proceedings of the eleventh annual ACM symposium on Theory of computing - STOC '79 - Some connections between mathematical logic and complexity theory

DeMillo, Richard A., Lipton, Richard J.

Year:

1979

Language:

english

File:

PDF, 534 KB

english, 1979

20

[ACM Press the symposium - Victoria, British Columbia, Canada (1991.10.08-1991.10.10)] Proceedings of the symposium on Testing, analysis, and verification - TAV4 - Dynamic slicing in the presence of unconstrained pointers

Agrawal, Hiralal, DeMillo, Richard A., Spafford, Eugene H.

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

21

[ACM Press the 4th ACM SIGACT-SIGPLAN symposium - Los Angeles, California (1977.01.17-1977.01.19)] Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77 - Social processes and proofs of theorems and programs

DeMillo, Richard A., Lipton, Richard J., Perlis, Alan J.

Year:

1977

Language:

english

File:

PDF, 726 KB

english, 1977

22

[ACM Press the 7th ACM SIGPLAN-SIGACT symposium - Las Vegas, Nevada (1980.01.28-1980.01.30)] Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80 - Theoretical and empirical studies on using program mutation to test the functional correctness of programs

Budd, Timothy A., DeMillo, Richard A., Lipton, Richard J., Sayward, Frederick G.

Year:

1980

Language:

english

File:

PDF, 1.33 MB

english, 1980

23

[IEEE 1980 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1980.4.14-1980.4.16)] 1980 IEEE Symposium on Security and Privacy - A System Architecture to Support a Verifiably Secure Multilevel Security System

Davida, George I., DeMillo, Richard A., Lipton, Richard J.

Year:

1980

Language:

english

File:

PDF, 569 KB

english, 1980

24

[IEEE 1980 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1980.4.14-1980.4.16)] 1980 IEEE Symposium on Security and Privacy - Protecting Shared Cryptographic Keys

Davida, George I., DeMillo, Richard A., Lipton, Richard J.

Year:

1980

Language:

english

File:

PDF, 165 KB

english, 1980

25

Review of "Proofs and refutations

DeMillo, Richard A., Lipton, Richard J.

Journal:

ACM SIGACT News

Year:

1979

Language:

english

File:

PDF, 175 KB

english, 1979

26

Software development for next generation communication networks

DeMillo, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 45 KB

english, 2000

27

Critical slicing for software fault localization

DeMillo, Richard A., Pan, Hsin, Spafford, Eugene H.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 1.26 MB

english, 1996

28

Ballot-Marking Devices Cannot Ensure the Will of the Voters

Appel, Andrew W., DeMillo, Richard A., Stark, Philip B.

Journal:

Election Law Journal

Year:

2020

File:

PDF, 346 KB

2020